$\forall$$a$:Atom1, $n$:$\mathbb{N}$. $\neg$$n$:$\mathbb{N}>>$$a$